up:
  - "[[B81 逻辑学（论理学）]]"
ctime: 2025-01-25T14:34:36+08:00
aliases:
  - 数理逻辑（符号逻辑）
mtime: 2025-09-09T12:37:19+08:00